From 4be760385586732b6819c6814940768cd196981b Mon Sep 17 00:00:00 2001 From: "kfraser@localhost.localdomain" Date: Tue, 25 Jul 2006 11:19:48 +0100 Subject: [PATCH] Fix 'make clean' when ioemu configuration failed. Signed-off-by: Keir Fraser --- tools/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/Makefile b/tools/Makefile index 41951d3fca..2a66e89c27 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -61,10 +61,12 @@ check_clean: .PHONY: ioemu ioemuinstall ioemuclean ifdef CONFIG_IOEMU export IOEMU_DIR ?= ioemu -ioemu ioemuinstall ioemuclean: +ioemu ioemuinstall: [ -f $(IOEMU_DIR)/config-host.h ] || \ (cd $(IOEMU_DIR) && sh configure --prefix=/usr) $(MAKE) -C $(IOEMU_DIR) $(patsubst ioemu%,%,$@) +ioemuclean: + [ ! -f $(IOEMU_DIR)/config-host.h ] || $(MAKE) -C $(IOEMU_DIR) clean else ioemu ioemuinstall ioemuclean: endif -- 2.30.2